Title: A framework for testing, fault localization and bug fixing in Constraint Programs.

By: Nadjib Lazaar (IRISA-Rennes)
 
Abstract: Constraint programs, such as those written in high-level 
constraint modeling languages, e.g., OPL (Optimization Programming 
Language), COMET, ZINC or ESSENCE, are more and more used in business-
critical programs. As any other critical programs, they require to be 
thoroughly tested and maintained to prevent catastrophic loss of money. We 
developed a framework for the automatic test generation for constraint 
programs that takes into account the specificity of the software 
development process of these programs as well as their typical faults. Our 
recent works extend this framework with fault localization and bug fixing. 
We implemented this framework in our testing platform CPTEST for OPL 
programs. Using mutation testing and fault injection, our experimental 
results show that well-known constraint programs written in OPL can be 
automatically corrected using our framework.